11![A tutorial on call-by-push-value Paul Blain Levy University of Birmingham October 12, 2013 A tutorial on call-by-push-value Paul Blain Levy University of Birmingham October 12, 2013](https://www.pdfsearch.io/img/676b050f5101961c15aeb0bcd5d859c4.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2013-10-21 08:35:46
|
---|
12![Modal properties of recursively defined commands Paul Blain Levy, University of Birmingham And {s.As }s∈A∗ means: A recent paper (“Seeing Beyond Divergence”, Modal properties of recursively defined commands Paul Blain Levy, University of Birmingham And {s.As }s∈A∗ means: A recent paper (“Seeing Beyond Divergence”,](https://www.pdfsearch.io/img/cc29d019d7cfb06f71c6c2be7b29dc7b.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2008-07-23 07:52:00
|
---|
13![Coproducts of Monads on Set Jiˇr´ı Ad´amek, Stefan Milius Nathan Bowler Paul B. Levy Coproducts of Monads on Set Jiˇr´ı Ad´amek, Stefan Milius Nathan Bowler Paul B. Levy](https://www.pdfsearch.io/img/51aff7d5b87e89c6ed8c17e28a143a83.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2012-06-05 09:36:57
|
---|
14![Jumbo λ-Calculus Paul Blain Levy University of Birmingham Abstract. We make an argument that, for any study involving computational effects such as divergence or continuations, the traditional syntax of simply typed lam Jumbo λ-Calculus Paul Blain Levy University of Birmingham Abstract. We make an argument that, for any study involving computational effects such as divergence or continuations, the traditional syntax of simply typed lam](https://www.pdfsearch.io/img/10a6ff21205a7dbb523ceb448332f3a4.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.uk- Date: 2007-05-03 10:47:11
|
---|
15![MFPS XX1 Preliminary Version Infinite Trace Equivalence Paul Blain Levy 1 MFPS XX1 Preliminary Version Infinite Trace Equivalence Paul Blain Levy 1](https://www.pdfsearch.io/img/dd6d34208ca83c730bc8a5bcc561f4ff.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2007-05-03 10:47:16
|
---|
16![Nondeterminism, fixpoints and bisimulation Paul Blain Levy University of Birmingham November 12, 2010 Nondeterminism, fixpoints and bisimulation Paul Blain Levy University of Birmingham November 12, 2010](https://www.pdfsearch.io/img/ca2dff6eeea8b2d18c303bd512107b26.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2010-11-12 07:32:52
|
---|
17![Amb breaks well-pointedness, ground amb doesn’t Paul Blain Levy School of Computer Science, University of Birmingham, UK Amb breaks well-pointedness, ground amb doesn’t – p. 1/21 Amb breaks well-pointedness, ground amb doesn’t Paul Blain Levy School of Computer Science, University of Birmingham, UK Amb breaks well-pointedness, ground amb doesn’t – p. 1/21](https://www.pdfsearch.io/img/2513900820760d6277ff08ec102af435.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2007-05-03 10:47:20
|
---|
18![Noname manuscript No. (will be inserted by the editor) Call-By-Push-Value: Decomposing Call-By-Value And Call-By-Name Paul Blain Levy Noname manuscript No. (will be inserted by the editor) Call-By-Push-Value: Decomposing Call-By-Value And Call-By-Name Paul Blain Levy](https://www.pdfsearch.io/img/3f6146657747d7f61d514c182f7d92db.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2007-05-03 10:47:18
|
---|
19![New Directions for Self-Destructing Data Systems Roxana Geambasu, Tadayoshi Kohno, Arvind Krishnamurthy, Amit Levy, Henry Levy University of Washington Paul Gardner New Directions for Self-Destructing Data Systems Roxana Geambasu, Tadayoshi Kohno, Arvind Krishnamurthy, Amit Levy, Henry Levy University of Washington Paul Gardner](https://www.pdfsearch.io/img/51bd68b74c564372c97b1c535e947d6d.jpg) | Add to Reading ListSource URL: vanish.cs.washington.eduLanguage: English - Date: 2011-08-24 18:20:29
|
---|
20![MFPSMonads and Adjunctions for Global Exceptions Paul Blain Levy 1 School of Computer Science University of Birmingham MFPSMonads and Adjunctions for Global Exceptions Paul Blain Levy 1 School of Computer Science University of Birmingham](https://www.pdfsearch.io/img/52dad652dc67d508d724352e8be1148e.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2007-05-03 10:47:11
|
---|